sufficient condition for function to be analytic